Algebraic Semantics of Service Component Modules
نویسندگان
چکیده
We present a notion of module acquired from developing an algebraic framework for service-oriented modelling. More specifically, we give an account of the notion of module that supports the composition model of the SENSORIA Reference Modelling Language (SRML). The proposed notion is independent of the logic in which properties are expressed and components are programmed. Modules in SRML are inspired in concepts proposed for Service Component Architecture (SCA) and Web Services, as well the modules that have been proposed for Algebraic Specifications, namely by H. Ehrig and F. Orejas, among others; they include interfaces for required (imported) and provided (exported) services, as well as a number of components (body) whose orchestrations ensure how given behavioural properties of the provided services are guaranteed assuming that the requested services satisfy required properties.
منابع مشابه
Functorial semantics of topological theories
Following the categorical approach to universal algebra through algebraic theories, proposed by F.~W.~Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. We introduce t...
متن کاملA formal model for service-oriented interactions
In this paper, we provide a mathematical semantics for a fragment of a language — SRML— that we have defined in the SENSORIA [66] project for modelling service-oriented systems. The main goal of this research is to make available a foundational basis for the development of practical modelling languages and tools that designers can use to model complex services at a level of abstraction that cap...
متن کاملAutomatic Proofs of Properties of Simple C- Modules
We address the problem of verifying automatically properties of modules written in the C language, a very simple imperative language. In this paper, we develop a framework for proving automatically properties of modules written in C . Our approach consists of two steps. At the first step, the C module is automatically transformed into a set of axioms written down in the language of equational l...
متن کاملA Note on Artinian Primes and Second Modules
Prime submodules and artinian prime modules are characterized. Furthermore, some previous results on prime modules and second modules are generalized.
متن کاملAN ALGEBRAIC STRUCTURE FOR INTUITIONISTIC FUZZY LOGIC
In this paper we extend the notion of degrees of membership and non-membership of intuitionistic fuzzy sets to lattices and introduce a residuated lattice with appropriate operations to serve as semantics of intuitionistic fuzzy logic. It would be a step forward to find an algebraic counterpart for intuitionistic fuzzy logic. We give the main properties of the operations defined and prove som...
متن کامل